1. Computability : computable functions, logic, and the foundations of mathematics

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem

رده :
QA
9
.
59
.
E67
2000